programmation logique中文是什么意思

• 逻辑编程

• programmation    音标：[prɔgramasjɔ̃] f. 节目安排；规划；程序设计，程序编制 f. (影视,
• logique    音标：[lɔʒ ik] f. 逻辑(学)；逻辑性；推理方式；必然联系，必然结果 a.
• langage de programmation logique    逻辑编程语言
• logique    音标：[lɔʒ ik]f. 逻辑(学)；逻辑性；推理方式；必然联系，必然结果a. 合乎逻辑的；逻辑学的；逻辑性强的；必然的a., n. 逻辑学(的)logiqueadj.逻辑的logiquef逻辑logique floue模糊逻辑近义词cartésien, méthodique, rationnel, rigoureux, cohérent, conséquent, forcé, inévitable, naturel, nécessaire
• programmation    音标：[prɔgramasjɔ̃]f. 节目安排；规划；程序设计，程序编制f. (影视, 广播的)节目安排, 计划的制订, 程序设计programmationf.编程；程序设计近义词grille
• abduction (logique)    溯因推理
• analyseur logique    逻辑分析仪
• arborescence logique    邏輯樹狀結構
• bombe logique    逻辑炸弹
• clause (logique)    子句 (逻辑)
• concept logique    逻辑概念
• conjonction logique    逻辑与
• connecteur logique    逻辑运算符
• correction (logique)    可靠性定理
• diagramme logique    流程图
• disjonction logique    逻辑或
• empirisme logique    逻辑实证主义
• enregistrement logique    逻辑记录
• fonction logique    门电路
• formule logique    合式公式
• implication (logique)    实质条件
• imprimante logique    逻辑打印机
• lecteur logique    逻辑驱动器
• logique classique    经典逻辑
• logique combinatoire    组合子逻辑

• Prolog est un langage de programmation logique.
  而Prolog是一种逻辑编程语言。
• La plupart des langages fonctionnant par contraintes ou par programmation logique ainsi que quelques langages déclaratifs sont des langages de cinquième génération.
  多数基於限制式和逻辑推演的编程语言，以及其它一些宣告式的语言，或可归类为第五代编程语言。
• Prolog (PROgrammation LOGique), défini en 1972 par Colmerauer, Roussel et Kowalski (en) est le premier langage de programmation logique.
  Prolog，於1972年由Colmerauer、Roussel，以及Kowalski所设计，是第一个逻辑程式语言。